$\forall$$a$, $b$:Atom. Dec($a$ = $b$)